package util;

import java.util.ArrayList;

import automaton.efsm.NondefiniteEFSM;

/**
 * 
 * @author Daniil Chivilikhin
 *
 */
public class Util {
	public static boolean listContains(ArrayList<NondefiniteEFSM.Transition> list, NondefiniteEFSM.Transition transition) {
		for (NondefiniteEFSM.Transition tr : list) {
			if (tr.equals(transition)) {
				return true;
			}
		}
		return false;
	}
}
